#ifndef __LED_H
#define __LED_H
#include "driverlib.h"

#define led_toggle() 	GPIO_toggleOutputOnPin(GPIO_PORT_P2, GPIO_PIN4)	


void led_init(void);

#endif
